Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
131	RECENT ISSUES IN REASONING Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Knowledge Non-classical logic Philosophical logic Branches of philosophy Modal logic Common knowledge Kripke semantics Rohit Jivanlal Parikh Epistemology Logic Mathematical logic Mathematics
132	Modal and Temporal Logics Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-22 09:28:24 Philosophical logic Model theory Metalogic Bisimulation Logic in computer science Kripke semantics Modal logic State transition system Linear temporal logic Logic Mathematical logic Mathematics
133	Games and Modal Mu-Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:03:05 Mathematics Logic in computer science Philosophical logic Non-classical logic Kripke semantics Modal μ-calculus Combinatory logic Temporal logic Modal depth Logic Mathematical logic Modal logic
134	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:58:59 Philosophical logic Metalogic Formal languages Bisimulation Interpretation Modal logic First-order logic Entailment Kripke semantics Logic Mathematical logic Model theory
135	Cryptographic Protocol Analysis with Kripke Models Jan van Eijck CWI & ILLC, Amsterdam Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-02-12 04:59:35 Mathematical logic Model theory Philosophical logic Sheaf theory Gaia Online Mathematics Logic Modal logic Kripke semantics
136	From Number Guessing Games to Security Protocol Analysis Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 06:53:10 Mathematical logic Computer network security Secure communication Astronomers Christiaan Huygens Kripke semantics Institute for Logic Language and Computation Huygens Computer security Logic Science Mathematics
137	Message-Generated Kripke Semantics Jan van Eijck and Floor Sietsma Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-29 06:42:48 Modal logic Formal languages Philosophical logic Epistemic modal logic Interpretation Common knowledge Kripke semantics Constructible universe Linear temporal logic Logic Mathematical logic Model theory
138	Verifying One Hundred Prisoners and a Lightbulb Hans van Ditmarsch, Jan van Eijck and William Wu Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:05:35 Philosophical logic Artificial intelligence Epistemic modal logic Common knowledge Kripke semantics Communications protocol Closure Prisoner of war Logic Mathematical logic Modal logic
139	Composing Models Jan van Eijck, Yanjing Wang, and Floor Sietsma Centrum Wiskunde en Informatica, Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:13:30 Philosophical logic Kripke semantics Modal logic Sheaf theory Vehicle Identification Number Constructible universe Logic Mathematical logic Model theory
140	Bernard Linsky and Edward N. Zalta In Defense of Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:08:05 Saul Kripke Kripke semantics Actualism S5 QML Interpretation Possible world First-order logic Accessibility relation Logic Mathematical logic Modal logic

UPDATE